Constraint satisfaction problem - PDFSEARCH.IO - Document Search Engine

Constraint satisfaction problem
Results: 216

#	Item
191	Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics Add to Reading List Source URL: ijcai.org Language: English - Date: 2013-07-25 05:33:36 Constraint satisfaction problem Local consistency FO Boolean satisfiability problem Decomposition method Complexity of constraint satisfaction Theoretical computer science Constraint programming Applied mathematics
192	An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic Sergey Berezin, Vijay Ganesh, and David L. Dill Stanford University {berezin,vganesh,dill}@stanford.edu Add to Reading List Source URL: hci.stanford.edu Language: English - Date: 2007-03-24 22:33:28 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean satisfiability problem Fourier–Motzkin elimination Satisfiability Modulo Theories Constraint satisfaction Theoretical computer science Applied mathematics Mathematics
193	SAT Encodings Sugar Nonogram OSS Summary . Add to Reading List Source URL: bach.istc.kobe-u.ac.jp Language: English - Date: 2010-04-19 00:19:44 Declarative programming Boolean satisfiability problem DPLL algorithm Conjunctive normal form Constraint satisfaction Solver Theoretical computer science Constraint programming Applied mathematics
194	Constraint Programming: In Pursuit of the Holy Grail Roman Barták Charles University, Faculty of Mathematics and Physics, Department of Theoretical Add to Reading List Source URL: ktiml.mff.cuni.cz Language: English - Date: 1999-12-06 11:36:48 Artificial intelligence Constraint satisfaction problem Local consistency Constraint satisfaction AC-3 algorithm Constraint logic programming Backjumping Backtracking Constraint graph Constraint programming Software engineering Computer programming
195	Microsoft PowerPoint - CP school 2005 Pro tisk Add to Reading List Source URL: ktiml.mff.cuni.cz Language: English - Date: 2005-09-20 00:13:36 Artificial intelligence Local consistency Constraint satisfaction problem Backjumping Constraint satisfaction Constraint optimization Look-ahead Backmarking Backtracking Constraint programming Software engineering Computer programming
196	Solving the Nurse Rostering Problem Knowledge Representation and Reasoning Seminar Ilina Stoilkovska Add to Reading List Source URL: www.wv.inf.tu-dresden.de Language: English - Date: 2013-01-16 11:30:18 Software engineering Computer programming Constraint satisfaction Local search Constraint Hybrid algorithm Linear programming Multi-objective optimization Candidate solution Constraint programming Mathematical optimization Operations research
197	A novel approach to finding feasible solutions to personnel rostering problems Gareth Beddoe and Sanja Petrovic Add to Reading List Source URL: pomsmeetings.org Language: English - Date: 2008-12-23 09:33:56 Computer programming Constraint satisfaction problem Constraint satisfaction Constraint logic programming Tabu search Genetic algorithm Mathematical optimization Hybrid algorithm Memetic algorithm Constraint programming Artificial intelligence Software engineering
198	Tool-Support for the Analysis of Hybrid Systems and Models Add to Reading List Source URL: www.date-conference.com Language: English - Date: 2007-03-14 18:49:09 Operations research Constraint programming Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories Solver Boolean satisfiability problem Constraint satisfaction Theoretical computer science Applied mathematics Mathematics
199	Kaleidoscope: A Constraint Imperative Programming Language Gus Lopez, Bjorn Freeman-Benson, and Alan Borning Add to Reading List Source URL: www.cs.washington.edu Language: English - Date: 2012-08-02 07:37:08 Computer programming Constraint logic programming Kaleidoscope Constraint satisfaction problem Constraint Constructor Prolog E Logic programming Constraint programming Declarative programming Software engineering
200	Minimizing Con icts: A Heuristic Repair Method for Constraint-Satisfaction and Scheduling Problems Add to Reading List Source URL: pdf.aminer.org Language: English - Date: 2011-10-18 13:09:26 Combinatorics Constraint satisfaction problem Constraint satisfaction Constraint optimization Eight queens puzzle Backtracking Mathematical optimization Search algorithm Heuristic function Mathematics Constraint programming Operations research

UPDATE